Hartel, Pieter H.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Simple algebraic data types for C

Pieter H. Hartel, Henk L. Muller

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 1.07 MB

english, 2012

2

The persuasion and security awareness experiment: reducing the success of social engineering attacks

Bullée, Jan-Willem H., Montoya, Lorena, Pieters, Wolter, Junger, Marianne, Hartel, Pieter H.

Journal:

Journal of Experimental Criminology

Year:

2015

Language:

english

File:

PDF, 1.26 MB

english, 2015

3

A toolkit for parallel functional programming

Pieter H. Hartel, Rutger F. H. Hofman, Koen G. Langendoen, Henk L. Muller, Willem G. Vree, L. O. Hertzberger

Journal:

Concurrency and Computation: Practice and Experience

Year:

1995

Language:

english

File:

PDF, 1.67 MB

english, 1995

4

Book review:Crime and Everyday Lifeby Marcus Felson and Mary Eckert, 5th edition

Pieter H. Hartel,Marianne Junger

Journal:

Year:

2016

Language:

english

File:

PDF, 908 KB

english, 2016

5

Crime science: editorial statement

Marianne Junger, Gloria Laycock, Pieter Hartel, Jerry Ratcliffe

Journal:

Year:

2012

Language:

english

File:

PDF, 122 KB

english, 2012

6

[ACM Press the 26th Annual Computer Security Applications Conference - Austin, Texas (2010.12.06-2010.12.10)] Proceedings of the 26th Annual Computer Security Applications Conference on - ACSAC '10 - Two methodologies for physical penetration testing using social engineering

Dimkov, Trajce, Pieters, Wolter, Hartel, Pieter

Year:

2010

Language:

english

File:

PDF, 904 KB

english, 2010

7

Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols

Law, Yee Wei, Palaniswami, Marimuthu, Hoesel, Lodewijk Van, Doumen, Jeroen, Hartel, Pieter, Havinga, Paul

Journal:

ACM Transactions on Sensor Networks

Year:

2009

Language:

english

File:

PDF, 864 KB

english, 2009

8

[IEEE 2017 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA) - London, United Kingdom (2017.6.19-2017.6.20)] 2017 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA) - Towards the normalization of cybercrime victimization: A routine activities analysis of cybercrime in europe

Junger, Marianne, Montoya, Lorena, Hartel, Pieter, Heydari, Maliheh

Year:

2017

Language:

english

File:

PDF, 317 KB

english, 2017

9

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Reflections on reflections

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

10

The influence of processing on the microbial risk associated with Rooibos ( Aspalathus linearis ) tea

Gouws, Pieter, Hartel, Toni, van Wyk, Rudean

Journal:

Journal of the Science of Food and Agriculture

Year:

2014

Language:

english

File:

PDF, 1006 KB

english, 2014

11

The Functional C experience

HARTEL, PIETER, MULLER, HENK, GLASER, HUGH

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 72 KB

english, 2004

12

Optimizing MEMS-based storage devices for mobile battery-powered systems

Khatib, Mohammed G., Hartel, Pieter H.

Journal:

ACM Transactions on Storage

Year:

2010

Language:

english

File:

PDF, 820 KB

english, 2010

13

A Survey of Provably Secure Searchable Encryption

Bösch, Christoph, Hartel, Pieter, Jonker, Willem, Peter, Andreas

Journal:

ACM Computing Surveys

Year:

2014

Language:

english

File:

PDF, 1.02 MB

english, 2014

14

Physical location of smart key activators – a building security penetration test

Bullee, Jan-Willem, Montoya, Lorena, Junger, Marianne, Hartel, Pieter

Journal:

Journal of Corporate Real Estate

Year:

2018

Language:

english

File:

PDF, 369 KB

english, 2018

15

Abstract machines for programming language implementation

Stephan Diehl, Pieter Hartel, Peter Sestoft

Journal:

Future Generation Computer Systems

Year:

2000

Language:

english

File:

PDF, 118 KB

english, 2000

16

Spear phishing in organisations explained

Bullee, Jan-Willem, Montoya, Lorena, Junger, Marianne, Hartel, Pieter, Furnell, Steven, Furnell, Steven

Journal:

Information and Computer Security

Year:

2017

Language:

english

File:

PDF, 1.34 MB

english, 2017

17

[IEEE 2013 European Intelligence and Security Informatics Conference (EISIC) - Uppsala, Sweden (2013.08.12-2013.08.14)] 2013 European Intelligence and Security Informatics Conference - How "Digital" is Traditional Crime?

Montoya, Lorena, Junger, Marianne, Hartel, Pieter

Year:

2013

Language:

english

File:

PDF, 150 KB

english, 2013

18

[Lecture Notes in Computer Science] Critical Information Infrastructures Security Volume 8328 ||

Luiijf, Eric, Hartel, Pieter

Year:

2013

Language:

english

File:

PDF, 8.18 MB

english, 2013

19

[IEEE 2015 Workshop on Socio-Technical Aspects in Security and Trust (STAST) - Verona, Italy (2015.7.13-2015.7.13)] 2015 Workshop on Socio-Technical Aspects in Security and Trust - Regression nodes: extending attack trees with data from social sciences

Bullee, Jan-Willem H., Montoya, Lorena, Pieters, Wolter, Junger, Marianne, Hartel, Pieter H.

Year:

2015

Language:

english

File:

PDF, 162 KB

english, 2015

20

Special Issue on State-of-Theart Applications of Pure Functional Programming languages

Hartel, Pieter, Plasmeijer, Rinus

Journal:

Journal of Functional Programming

Year:

1993

Language:

english

File:

PDF, 67 KB

english, 1993

21

Statistics on graph reduction of SASL programs

Pieter H. Hartel, Arthur H. Veen

Journal:

Software: Practice and Experience

Year:

1988

Language:

english

File:

PDF, 888 KB

english, 1988

22

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Narrowing the narrowing space

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 954 KB

english, 1997

23

[IEEE 2006 31st IEEE Conference on Local Computer Networks - Embassy Suites Hotel, Tampa, FL, USA (2006.11.14-2006.11.16)] Proceedings. 2006 31st IEEE Conference on Local Computer Networks - Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks

Marin-Perianu, Raluca, Scholten, Hans, Havinga, Paul, Hartel, Pieter

Year:

2006

Language:

english

File:

PDF, 176 KB

english, 2006

24

[IEEE 2012 International Conference on Collaboration Technologies and Systems (CTS) - Denver, CO, USA (2012.05.21-2012.05.25)] 2012 International Conference on Collaboration Technologies and Systems (CTS) - Privacy-preserving collaborative filtering based on horizontally partitioned dataset

Jeckmans, Arjan, Tang, Qiang, Hartel, Pieter

Year:

2012

Language:

english

File:

PDF, 526 KB

english, 2012

25

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Transformations for efficient evaluations in functional programming

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 894 KB

english, 1997

26

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Inheritance and selective method dispatching in concurrent Haskell

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 707 KB

english, 1997

27

[ACM Press the 33rd Annual Computer Security Applications Conference - Orlando, FL, USA (2017.12.04-2017.12.08)] Proceedings of the 33rd Annual Computer Security Applications Conference on - ACSAC 2017 - DECANTeR

Bortolameotti, Riccardo, van Ede, Thijs, Caselli, Marco, Everts, Maarten H., Hartel, Pieter, Hofstede, Rick, Jonker, Willem, Peter, Andreas

Year:

2017

Language:

english

File:

PDF, 1.59 MB

english, 2017

28

Compilation of functional languages using flow graph analysis

Pieter H. Hartel, Hugh Glaser, John M. Wild

Journal:

Software: Practice and Experience

Year:

1994

Language:

english

File:

PDF, 2.64 MB

english, 1994

29

[ACM Press the 42nd ACM technical symposium - Dallas, TX, USA (2011.03.09-2011.03.12)] Proceedings of the 42nd ACM technical symposium on Computer science education - SIGCSE '11 - Training students to steal

Dimkov, Trajce, Pieters, Wolter, Hartel, Pieter

Year:

2011

Language:

english

File:

PDF, 1.09 MB

english, 2011

30

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Intuitionistic implication in abstract interpretation

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 928 KB

english, 1997

31

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Overriding operators in a mixin-based framework

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 890 KB

english, 1997

32

Embedding renewable cryptographic keys into noisy data

Ileana Buhan, Jeroen Doumen, Pieter Hartel, Qian Tang, Raymond Veldhuis

Journal:

International Journal of Information Security

Year:

2010

Language:

english

File:

PDF, 1.18 MB

english, 2010

33

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Implementation of term rewritings with the evaluation strategy

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 883 KB

english, 1997

34

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Resolution for logic programming with universal quantifiers

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 908 KB

english, 1997

35

Declarative solutions to partitioned-grid problems

Sandro Etalle, Pieter H. Hartel, Willem G. Vree

Journal:

Software: Practice and Experience

Year:

1999

Language:

english

File:

PDF, 269 KB

english, 1999

36

LicenseScript: a logical language for digital rights management

Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter Hartel, Yee Wei Law, Andrew Tokmakoff

Journal:

annals of telecommunications - annales des télécommunications

Year:

2006

Language:

english

File:

PDF, 4.49 MB

english, 2006

37

Conformational analysis of the dinucleotides 5′-methylphospho-N6-dimethyladenylyl-uridine (mpm62A-U) and 5′methylphospho-uridylyl-N6-dimethyladenosine (mpU-m62A) and of the trinucleotide U-m62A-U : A nuclear magnetic resonance and circular dichroic study

Yvonne T. van den HOOGEN, Peter P. LANKHORST, Pieter GIJSMAN, Arnold J. HARTEL, Jacques H. van BOOM, Cornelis ALTONA

Journal:

Year:

1988

Language:

english

File:

PDF, 980 KB

english, 1988

38

[IEEE 2013 3rd International Workshop on Socio-Technical Aspects in Security and Trust (STAST) - New Orleans, LA, USA (2013.06.29-2013.06.29)] 2013 Third Workshop on Socio-Technical Aspects in Security and Trust - Applying the Lost-Letter Technique to Assess IT Risk Behaviour

Lastdrager, Elmer, Montoya, Lorena, Hartel, Pieter, Junger, Marianne

Year:

2013

Language:

english

File:

PDF, 271 KB

english, 2013

39

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || A declarative approach to concurrent programming

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 959 KB

english, 1997

40

Teaching Empirical Social-Science Research to Cybersecurity Students: The Case of \"Thinking Like a Thief\"

Barth, Susanne, Hartel, Pieter, Junger, Marianne, Montoya, Lorena

Journal:

IEEE Security & Privacy Magazine

Year:

2019

Language:

english

File:

PDF, 39 KB

english, 2019

41

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Transformation of divide & conquer to nested parallel loops

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 807 KB

english, 1997

42

[ACM Press the 32nd Annual Conference - Los Angeles, California (2016.12.05-2016.12.08)] Proceedings of the 32nd Annual Conference on Computer Security Applications - ACSAC '16 - Reliably determining data leakage in the presence of strong attackers

Bortolameotti, Riccardo, Peter, Andreas, Everts, Maarten H., Jonker, Willem, Hartel, Pieter

Year:

2016

Language:

english

File:

PDF, 805 KB

english, 2016

43

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Transforming lazy functions using comportment properties

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 737 KB

english, 1997

44

[ACM Press the 7th ACM international conference - Atlanta, GA, USA (2008.10.19-2008.10.24)] Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08 - Workload-based configuration of MEMS-based storage devices for mobile systems

Khatib, Mohammed G., Miller, Ethan L., Hartel, Pieter H.

Year:

2008

Language:

english

File:

PDF, 631 KB

english, 2008

45

Paradigms and laboratories in the core computer science curriculum

Hartel, Pieter H., Hertzberger, L. O.

Journal:

ACM SIGCSE Bulletin

Year:

1995

Language:

english

File:

PDF, 736 KB

english, 1995

46

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Higher-order value flow graphs

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 764 KB

english, 1997

47

Reasoning about Grover's quantum search algorithm using probabilistic wp

Butler, Michael, Hartel, Pieter

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 207 KB

english, 1999

48

Formalizing the safety of Java, the Java virtual machine, and Java card

Hartel, Pieter H., Moreau, Luc

Journal:

ACM Computing Surveys

Year:

2001

Language:

english

File:

PDF, 432 KB

english, 2001

49

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Evaluation under lambda abstraction

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 808 KB

english, 1997

50

Nonmonotonic Trust Management for P2P Applications

Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter Hartel, Jerry den Hartog

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 348 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски